Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 007983 | Nathalie Chabrier [France] ; François Fages [France] | Symbolic Model Checking of Biochemical Networks |
| 009334 | François Fages [France] ; Paul Ruet [France] ; Sylvain Soliman [France] | Linear Concurrent Constraint Programming: Operational and Phase Semantics |
| 00B379 | Paul Ruet [France] ; François Fages [France] | Concurrent constraint programming and non-commutative logic |
| 00DA92 | François Fages [France] | A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics |
| This area was generated with Dilib version V0.6.33. |  |